Structured Component Composition Frameworks for Embedded System Design
نویسندگان
چکیده
The increasing integration of system-chips is leading to a widening gap in the size and complexity of the chip-level design and the design capabilities. A number of advances in high-level modeling and validation have been proposed over the past decade in an attempt to bridge the gap in design productivity. Prominent among these are advances in Abstraction and Reuse and structured design methods such as Component-Based Design and Platform-Based Design. In this paper, we present an overview of the recent advances in reuse, abstraction, and component frameworks. We describe a compositional approach to high-level modeling as implemented in the BALBOA project.
منابع مشابه
A Three-Tier Approach for Composition of Real-Time Embedded Software Stacks
Many component models and frameworks have been proposed to abstract and capture concerns from Real-Time and Embedded application domains, based on high-level component-based approaches. However, these approaches tend to propose their own fixed-set abstractions and ad-hoc runtime platforms, whereas the current trend emphasizes more flexible solutions, as embedded systems must constantly integrat...
متن کاملA Tag Contract Framework for Modeling Heterogeneous Systems
In the distributed development of modern IT systems, contracts play a vital role in ensuring interoperability of components and adherence to specifications. The design of embedded systems, however, is made more complex by the heterogeneous nature of components, which are often described using different models and interaction mechanisms. Composing such components is generally not well-defined, m...
متن کاملSupporting Creative Composition: the FrameWorks Approach
We present a new system for music composition using structured sequences. FrameWorks has been developed on the basis of Task Analysis research studying composition processes and other user-centred design techniques. While the program only uses MIDI information, it can be seen as a ‘proof of concept’ for ideas generally applicable to the specification and manipulation of other music control data...
متن کاملAn Operational Contract Framework for Heterogeneous Systems
Modern computing systems are increasingly being built by assembling components that are pre-designed or developed concurrently in a distributed manner. In this context, contracts play a vital role for ensuring interoperability of components and adherence to specifications. For the design of e.g. embedded systems, additional complexity is found in heterogeneity of components: such systems are co...
متن کاملHigh Level Modeling and Validation Methodologies for Embedded Systems: Bridging the Productivity Gap
In the changing world of networked computing, ubiquitous computing, extensive use of handheld devices, and bio-medical devices, embedded computing is becoming pervasive and increasingly complex. Furthermore, Moore's law is imposing an even greater challenge by the continuous improvement in silicon technology at an exponential rate while the design productivity of engineers and computer aided de...
متن کامل